Neologicists have sought to ground mathematical knowledge in abstraction. One especially obstinate problem for this account is the bad company problem. The leading neologicist strategy for resolving this problem is to attempt to sift the good abstraction principles from the bad. This response faces a dilemma: the system of ‘good’ abstraction principles either falls foul of the Scylla of inconsistency or the Charybdis of being unable to recover a modest portion of Zermelo–Fraenkel set theory with its intended generality. This article (...) argues that the bad company problem is due to the ‘static’ character of abstraction on the neologicist's account and develops a ‘dynamic’ account of abstraction that avoids both horns of the dilemma. 1 Introduction2ion Reconstructed3 From Bad to Worse4 Abstraction Reconceived5 Bad Company Made GoodA AppendixA.1SemanticsA.2LogicA.3ConsistencyA.4Strength. (shrink)

What does being money consist in? We argue that something is money if, and only if, it is typically acquired in order to realise the reduction in transaction costs that accrues in virtue of agents coordinating on acquiring the same thing when deciding what thing to acquire in order to exchange. What kinds of things can be money? We argue against the common view that a variety of things (notes, coins, gold, cigarettes, etc.) can be money. All monetary systems are (...) best interpreted as implementing the same basic protocol. Money, i.e. the thing that we coordinate on acquiring in order to lower our transaction costs, is, in all cases, a set of positions on an abstract mathematical object, namely a relative ratio scale. The things that we ordinarily call ‘money’ are merely records of positions on such a scale. (shrink)

Let us call an integer part of an ordered field any subring such that every element of the field lies at distance less than 1 from a unique element of the ring. We show that every real closed field has an integer part.

In August of 1971, President Nixon announced that the United States was “closing the gold window,” bringing an end to the postwar system of international exchange rate stability and precipitating a period of significant uncertainty and transformation in global institutions. Although this critical historical episode is important for an understanding of historical “neoliberalism” and institutional change, modern sociological perspectives have scarcely been applied to it. The present analysis uses archival data to show that closing the gold window was never the (...) goal or preferred strategy of the Nixon administration, which had spent years preparing much more modest reforms. Nevertheless, US policymakers took this unilateral action as a contingency plan to achieve a short-term goal, knowing that it would dramatically change the functioning of the international economy. Surprisingly, the autonomous structure of the IMF did not channel US initiatives toward gradual evolution but rather helped determine a radical change in strategy. (shrink)

A leading evangelical thinker offers this brand-new way of addressing life's most important questions: Does God exist, and can we know Him? J.P. Moreland, distinguished professor of philosophy at Talbot School of Theology, abandons traditional didactic apologetics and entices skeptics and dissatisfied believers into a conversation about the emptiness and anxiety so many feel today. He invites them to the abundant life Jesus offers but that so few seem to be experiencing. Moreland shows that people are created by a benevolent (...) God and given a life-enhancing purpose. He empowers readers to... overcome obstacles to faith, including questions about science and religion embrace an enticing view of Jesus and the kingdom of God replace unhelpful images of God with the truth Readers will find practical and effective ways to experience intimacy with God, an effective life of prayer, and a confident hope in life after death. (shrink)

This volume focuses on the modeling of cognition, and brings together contributions from psychologists and researchers in the field of cognitive science.

I argue that a theory of distributive justice is sensitive to desert if and only if it does not require an institutional scheme that prevents individuals from treating one another as they deserve, and requires a desert ethos. A desert ethos is a set of principles that, though not embodied in a society’s basic coercive structure, nevertheless governs interpersonal relations between citizens. These two necessary conditions are jointly sufficient for ‘giving desert its due’ in a theory of justice. I therefore (...) reject the received view that a desert-sensitive theory must endeavor to guarantee distributions patterned according to desert. (shrink)

Health care workers with needlestick exposures to patients' blood often request a test of the patient for evidence of infection with human immunodeficiency virus. If the patient refuses the test, a conflict develops between the interests of the health care worker and those of the patient. Traditional approaches to this dilemma attempt to balance the rights or utilities of abstract patients and health care workers. While these approaches have the advantage of offering clear guidelines in advance of conflict, the interests (...) of the actual participants may differ from those used to create the guidelines. In nonmedical settings, conflicts are often resolved efficiently through negotiation and monetary exchanges. Although negotiated monetary settlements between health care workers and patients may be an impractical way to resolve medical conflicts, models developed from these perspectives provide insights into the individual interests of physicians and patients. Changing existing rules about medical record documentation, or increasing the penalties for the misuse of medical information, may satisfy the interests on both sides of the conflict and so represent integrative bargaining solutions. Even so, as the relationship between health care workers and their patients evolves, more explicit strategies for negotiation may become a reasonable solution to the problem of conflict. (shrink)

We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given.